//--------------------------------------
// silk-editor-plugin Project
//
// SilkOutlineInformationControl.java
// Since: 2010/11/15
//
// $URL$ 
// $Author$
//--------------------------------------
package org.xerial.silk.editor.plugin.text;

import org.eclipse.dltk.ui.text.ScriptOutlineInformationControl;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.swt.widgets.Shell;
import org.xerial.silk.editor.plugin.SilkPlugin;

public class SilkOutlineInformationControl extends ScriptOutlineInformationControl
{

    public SilkOutlineInformationControl(Shell parent, int shellStyle, int treeStyle, String commandId,
            IPreferenceStore pstore) {
        super(parent, shellStyle, treeStyle, commandId, pstore);
    }

    @Override
    protected IPreferenceStore getPreferenceStore() {
        return SilkPlugin.getDefault().getPreferenceStore();
    }

}
